11![The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK](https://www.pdfsearch.io/img/59b22457097a380a537d905fcc2afd40.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2014-05-14 09:11:06
|
---|
12![exterminate all rational thought… hit reload to do it again… exterminate all rational thought… hit reload to do it again…](https://www.pdfsearch.io/img/c12752eada00548881cb303d46a8bbce.jpg) | Add to Reading ListSource URL: klaus-johansen.dkLanguage: English - Date: 2007-10-22 21:53:45
|
---|
13![Distributed Computation for Computer Animation John W. Peterson Computer Science Deptartment University of Utah Abstract Distributed Computation for Computer Animation John W. Peterson Computer Science Deptartment University of Utah Abstract](https://www.pdfsearch.io/img/9a76d055227522d3eca0dcf5bf853e49.jpg) | Add to Reading ListSource URL: www.saccade.comLanguage: English - Date: 2003-04-12 22:26:03
|
---|
14![Point of View Lisp as an Alternative to Java I n a recent study Prechelt[removed]compared Point of View Lisp as an Alternative to Java I n a recent study Prechelt[removed]compared](https://www.pdfsearch.io/img/326ef12706c2387a196895c7bf2df6e3.jpg) | Add to Reading ListSource URL: www.flownet.comLanguage: English - Date: 2008-08-13 23:40:51
|
---|
15![~. INSIDE INTERLISP: Two IMPLEMENTATIONS L. Peter Deutsch Xerox Palo Alto Research Center ~. INSIDE INTERLISP: Two IMPLEMENTATIONS L. Peter Deutsch Xerox Palo Alto Research Center](https://www.pdfsearch.io/img/6ffd5eb7aa11294d01dd7339d21a2b40.jpg) | Add to Reading ListSource URL: www.softwarepreservation.orgLanguage: English - Date: 2010-11-06 22:46:49
|
---|
16![A LISP Machine with Very Compact Programs A LISP Machine with Very Compact Programs](https://www.pdfsearch.io/img/f685a75916d8958484003090b3b902e5.jpg) | Add to Reading ListSource URL: www.softwarepreservation.orgLanguage: English - Date: 2010-03-13 20:10:51
|
---|
17![COGNITIVE AND INSTRUCTIONAL SCIENCES SERIES CIS.5 (SSL[removed]Revised Papers on interlisp-D CONTRIBUTlONS BY COGNITIVE AND INSTRUCTIONAL SCIENCES SERIES CIS.5 (SSL[removed]Revised Papers on interlisp-D CONTRIBUTlONS BY](https://www.pdfsearch.io/img/7a1ed47d95174d4ec35bd36a74c2ddc5.jpg) | Add to Reading ListSource URL: www.softwarepreservation.orgLanguage: English - Date: 2010-03-13 20:10:51
|
---|
18![COGNITIVE AND INSTRUCTIONAL SCIENCES SERIES CIS.5 (SSL[removed]Revised Papers on interlisp-D CONTRIBUTlONS BY COGNITIVE AND INSTRUCTIONAL SCIENCES SERIES CIS.5 (SSL[removed]Revised Papers on interlisp-D CONTRIBUTlONS BY](https://www.pdfsearch.io/img/942a3e2cea4d3d53f89f93a6b01d859a.jpg) | Add to Reading ListSource URL: www.softwarepreservation.orgLanguage: English - Date: 2010-03-13 20:10:51
|
---|
19![STUDENT INFORMATION: Name: Email: Start date: Semester: STUDENT INFORMATION: Name: Email: Start date: Semester:](https://www.pdfsearch.io/img/3e9ee68d55f9f59605cfc48a6c45b7d7.jpg) | Add to Reading ListSource URL: www.salisbury.eduLanguage: English - Date: 2014-06-02 16:00:38
|
---|
20![GNU MDK GNU MIX Development Kit Edition 1.2.8, for GNU mdk Version[removed]January, 2014 by Jose Antonio Ortega Ruiz ([removed]) GNU MDK GNU MIX Development Kit Edition 1.2.8, for GNU mdk Version[removed]January, 2014 by Jose Antonio Ortega Ruiz ([removed])](https://www.pdfsearch.io/img/ddeb29af5aa33d7ac873e7b7262ad5cb.jpg) | Add to Reading ListSource URL: www.gnu.orgLanguage: English - Date: 2014-08-04 20:46:04
|
---|